(0 17 15)(1 16 9)(2 19 4)(3 7 5)(6 11 8)(10 18 14)(12 20 13)
ALLOWS (11/8)-SEQUENCE
1: (13 19 20)

(0 17 15)(1 16 9)(2 19 12 20 4)(3 7 5)(6 11 8)(10 18 14)(13)
2: (4 12 20)

(0 17 15)(1 16 9)(2 19 12)(3 7 5)(4)(6 11 8)(10 18 14)(13)(20)
3: (1 16 9)

(0 17 15)(1)(2 19 12)(3 7 5)(4)(6 11 8)(9)(10 18 14)(13)(16)(20)
4: (0 17 15)

(0)(1)(2 19 12)(3 7 5)(4)(6 11 8)(9)(10 18 14)(13)(15)(16)(17)(20)